- Что и завершает доказательство теоремы
- ..., which completes (finishes) the proof of Theorem 1
Русско-английский словарь по прикладной математике и механике. Составитель словаря О.Б. Арушанян. 2013.
Что и завершает доказательство теоремы
Look at other dictionaries:
Великая теорема Ферма — Издание 1670 года «Арифметики» Диофанта включает комментарий Ферма, в частности его «последнюю теорему» (Observatio Domini Petri de Fermat). Великая теорема Ферма … Википедия
Граница Плоткина — Граница Плоткина в теории кодирования определяет предел мощности двоичного кодa длины и минимального расстояния . Содержание 1 Формулировка … Википедия
Теорема Крылова — В теории динамических систем под теоремами Крылова Боголюбова понимаются две теоремы, утверждающие существование инвариантных мер у «хороших» отображений, определённых на «хороших» пространствах. Теоремы доказаны математиком… … Википедия
Теорема Крылова — Боголюбова — В теории динамических систем под теоремами Крылова Боголюбова понимаются две теоремы, утверждающие существование инвариантных мер у «хороших» отображений, определённых на «хороших» пространствах. Теоремы доказаны математиком Н. М. Крыловым и… … Википедия
Достаточная статистика — для параметра , определяющая некоторое семейство распределений вероятности статистика такая, что условная вероятность выборки при данном значении не зависит от параметра То есть выполняется равенств … Википедия
Теорема Лёвенгейма — Теорема Лёвенгейма Скулема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
Теорема Лёвенгейма — Сколема — Теорема Лёвенгейма Сколема утверждение из теории моделей о том, что если множество предложений в счётном языке первого порядка имеет бесконечную модель, то оно имеет счётную модель. Эквивалентная формулировка: каждая модель счётной… … Википедия
Начала Евклида — Эту страницу предлагается переименовать в Начала. Пояснение причин и обсуждение на странице Википедия:К переименованию/29 августа 2012. Возможно, её текущее название не соответствует нормам современного русского языка и/или правилам… … Википедия
СИНТЕЗ — (от греч. соединение, сочетание, составление), соединение различных элементов, сторон предмета в единое целое (систему), которое осуществляется как в практич. деятельности, так и в процессе познания. В этом значении С. противоположен… … Философская энциклопедия
Существование перечислимого неразрешимого множества — В данной статье будет доказан теорема о существовании перечислимого, но неразрешимого множества. Напомню, что по теореме Поста перечислимое множества разрешимо тогда и только тогда, когда его дополнение перечислимо.Основные определения, такие как … Википедия
Спиноза Бенедикт — Жизнь и сочинения Спинозы Бенедикт Спиноза (Барух д Эспиноза) родился в Амстердаме в 1632 г. (в том же году родился и Локк) в состоятельной семье испанских евреев (вынужденных скрываться от преследований инквизиции и принять христианство,… … Западная философия от истоков до наших дней
